一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

开关磁阻电动机的Fuzzy-PI控制

本文介绍了开关磁阻电动机低速时的斩波控制与高速时的单脉冲控制方案,论述了控制参数的优化选择范围及其变化对电机效率和转矩的影响,在分析了模糊控制,比例积分控制以及系统本身特点的基础上,提出了基于上述控制方案的Fuzzy-PI复合控制算法,并详细地讨论了这种算法在开关磁阻电机系统中的实现,采用的粗调、细调技术有效地解决了动态性能与稳态精度之间的矛盾。文章最后给出了在5.5kWSR132-8/6样机上的运行试验结果。试验表明:这种控制方法性能优良。     

纹影干涉图的图像处理方法研究

本文利用计算机存贮量大、运算能力强的特点研究了一种分析纹影干涉图,计算密度场的图像算法。这套算法包括使用低通滤波技术消除干涉图背景中的高频噪声,使用 Hilditch 算法细化宽度多于一个像素的干涉条纹,使用模式识别方法提取干涉条纹的位移量,最后应用数值积分技术求解密度场的空间分布。这里研究的图像处理方法提高了纹影干涉图定量分析的精度、加快了实验结果的处理速度,给出了直观可靠的数值结果,是一种实用有效的图像算法。     

子波变换在实验流体力学中的应用

介绍了子波分析的历史、基本知识以及在实验流体力学方面的应用。讨论了子波变换在客观辨识湍流边界层相干结构方面的应用。作者用子波变换的方法提出了确定湍流边界层相干结构挥发时间尺度的能量最大准则，提取了相干结构对应的速度信号波形。用于波变换研究了湍流边界层脉动速度信号的局部奇异性行为，发现相干结构发生处脉动速度信号的局部奇异性指数为负值。     

轴对称锻件成形过程的热力耦合有限元分析技术的研究

锻件成形过程中,非稳态、不均匀的温度场对金属的塑性流动有很大的影响，尤其是高温成形过程。本文对轴对称段件成形过程的热力耦合有限元分析技术进行了研究。论述了刚塑性有限元分析方法，建立了热力耦合分析模型，开发了轴对称锻件成形过程的热力耦合有限元分析软件。通过将圆柱体镦粗过程的模拟结果与有关文献中的实验结果和模拟结果的比较，说明了该方法和软件的正确性。     

浮动壁火焰筒壁温试验和计算分析

对某浮动壁火焰筒的壁温进行了试验和计算分析。该火焰筒应用了新型的浮动壁结构和高效的冲击/发散复合冷却技术。壁温分布试验在全环形燃烧室试验台上进行,采用热电偶和示温漆测量。计算采用了稳态导热问题的有限元求解方法。研究分析表明,火焰筒壁温在材料的长期许用温度范围内,壁温计算反映了火焰筒壁温的分布规律和趋势。冲击/发散复合冷却方式的轴向壁温梯度小于缝槽气膜冷却方式,对降低热应力水平,延长火焰筒使用寿命有利。     

一种闭环对象辨识方法及其在生产中的应用

针对一些难达稳态过程的模型不易辨识的问题,提出了一种对象模型参数和状态方程初值同时辨识的新方法.该方法可不进行装置实验,仅使用装置历史数据就可进行在线辨识,且适用于系统处于非稳定状态的阶跃响应数据.闭环控制系统辨识仿真和实际应用表明,应用该方法辨识出的对象特性进行PID参数设计,效果明显,并且使控制系统具有很好的抗干扰能力和鲁棒性.     

传输型光学遥感器斜模式采样新方法研究

文章介绍了实现超模式采样焦平面3种解决方案面临的技术难点，为避开器件问题提出了一种新的斜模式采样方法。以任意两维周期采样理论为基础分析了斜模式采样技术的物理原理，并通过实验手段验证了斜模式采样技术的可行性。试验结果表明：改变探测器推扫方向的采样间距符模式采样技术可以提高传输型光学遥感器图像的空间分辨率，该技术相对于超模式采样技术，工程实现上要简单。     

降落伞稳定下降阶段流场的数值模拟

随着计算流体力学 (CFD)和结构有限元分析法的兴起 ,精确描绘降落伞力学特性成为可能。文中采用有限体积法求解不可压流的N -S方程 ,采用Spalart-Allmaras(SA)模型作为湍流模型 ,以模拟降落伞稳定下降阶段时的流场特性。流场的计算结果与实验数据基本一致 ,这表明该方法对降落伞的分析是有效并且可行的     

用弹性环加强的孔口应力分析的链杆法

关于用弹性环加强的孔口应力分析问题,本文给出了一个新的分析方法——链杆法。即假定环和板之间在孔口用链杆来联系,然后用力法求出链杆的约束力,进而可确定板的应力和环的内力。将本文结果和萨文的结果作了比较,两者基本一致,说明了链杆法的有效性。它的优点是直观、方便,计算较简单,适用面较广。